<html>
<head><meta charset="utf-8"><title>ConstKind::Param in the MIR · project-const-generics · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/260443-project-const-generics/index.html">project-const-generics</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/260443-project-const-generics/topic/ConstKind.3A.3AParam.20in.20the.20MIR.html">ConstKind::Param in the MIR</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="228604850"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/260443-project-const-generics/topic/ConstKind%3A%3AParam%20in%20the%20MIR/near/228604850" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/260443-project-const-generics/topic/ConstKind.3A.3AParam.20in.20the.20MIR.html#228604850">(Mar 03 2021 at 14:53)</a>:</h4>
<p>I'm currently trying to figure out what variants of <code>ConstKind</code> can even show up in <code>mir::Constant</code>. While <code>Param</code> can show up, is it really necessary? I think we could just use <code>Unevaluated</code> there. The only place these show up is for <code>mir::Operand</code>, which can't possibly affect the type system beyond the type of the constant</p>



<a name="228605084"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/260443-project-const-generics/topic/ConstKind%3A%3AParam%20in%20the%20MIR/near/228605084" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/260443-project-const-generics/topic/ConstKind.3A.3AParam.20in.20the.20MIR.html#228605084">(Mar 03 2021 at 14:55)</a>:</h4>
<p>yeah, theoretically values and unevaluated is enough</p>



<a name="228605279"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/260443-project-const-generics/topic/ConstKind%3A%3AParam%20in%20the%20MIR/near/228605279" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/260443-project-const-generics/topic/ConstKind.3A.3AParam.20in.20the.20MIR.html#228605279">(Mar 03 2021 at 14:56)</a>:</h4>
<p>or hmm, not sure how exactly that works</p>



<a name="228605397"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/260443-project-const-generics/topic/ConstKind%3A%3AParam%20in%20the%20MIR/near/228605397" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/260443-project-const-generics/topic/ConstKind.3A.3AParam.20in.20the.20MIR.html#228605397">(Mar 03 2021 at 14:56)</a>:</h4>
<p>might not be completely trivial</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>